$\forall$$p$, $q$:($n$:$\mathbb{Z}\times$base{-}domain{-}type($n$)). $p$ = $q$ $\in$ $\mathbb{B}$